Hegel, in his work _Philosophy of Right_, defines ownership through three elements: acquisition by occupation, use, and transfer. To own something involves mere acquisition and encompasses its appropriate use and potential transfer to others. Subsequently, the final aspect mentioned was the concept of infinite judgement. The acts of owning and transferring to others are diametrically opposed, and Hegel’s unique logic forcibly connects these opposing concepts. This form of infinite judgement was advocated by the young Hegel during the era of _Phenomenology (...) of Spirit_. There, he stated, “Spirit is a bone”. However, when he later wrote _Science of Logic_ or _Encyclopedia_, the formulation of infinite judgement changed to “Spirit is not something that is bone”. This shift was influenced by Kant. In _Logic_, the discourse advances into syllogism, inferential theory, leading to “Spirit is a bone for such-and-such reasons”. In essence, Hegel binarily connected spirit and bone in his youth and introduced a mediating term in this connection later in his life, establishing inferential links. However, the notion of forcibly connecting opposing concepts remains. Therefore, the statement “Ownership is transfer” represents an infinite judgement while simultaneously signifying syllogism that “I truly own this object if I can transfer it to others”. This contributes to the reasoning that “I and objects can be connected through the intermediary of others”, progressing to the inference that “I and others can be connected through objects”, thereby laying the foundation for society. (shrink)

Background: Dementia is one the major problems of aging societies, and, novel and effective non-drug therapies are required as interventions in the oldest-old to prevent cognitive decline.Objective: This study aims to examine the efficacy and safety of reminiscence using immersive virtual reality focusing on anxiety that often appears with cognitive decline. The secondary objective is to reveal the preference for VR image types for reminiscence: live-action or computer graphics.Methods: This was a pilot, open-label, and randomized crossover study which was conducted (...) on January 2020 at a single nursing home. The subjects were randomly divided into two groups in equal numbers, and they alternately viewed two types of VR images themed on the mid- to late Showa era in Japan. In group A, the CG images were viewed first, and then the LA images were viewed. In group B, the images were viewed in the opposite order. Before VR viewing, subjects responded to Mini-Mental State Examination Japanese version and State-Trait Anxiety Inventory Japanese version. After viewing the first and second VR, subjects responded to STAI and the numerical rating scale for satisfaction and side effects.Results: Ten subjects participated in this study. The values of analyses are presented in the mean. The age was 87.1 years, and the MMSE was 28.5. The total STAI score before VR viewing was 36.1, but it significantly decreased to 26.8 after the first VR viewing, and further decreased to 23.4 after the second VR viewing. The NRS score for satisfaction tended to be higher after viewing LA in group A vs. 8.6, P = 0.0993), while in group B, the score after CG was slightly lower than that after LA. There were no serious side effects.Conclusions: This study suggests that iVR reminiscence can reduce anxiety in the oldest-old without causing serious side effects. Furthermore, the impacts might be better with LA images. (shrink)

We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.

Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.

Reinforcement learning has recently received much attention as a learning method for complicated systems, e.g., robot systems. It does not need prior knowledge and has higher capability of reactive and adaptive behaviors. However increase in dimensionality of the action-state space makes it diffcult to accomplish learning. The applicability of the existing reinforcement learning algorithms are effective for simple tasks with relatively small action-state space. In this paper, we propose a new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space (...) Based on Genetic Algorithm ”. The algorithm is applicable to systems with high dimensional action and interior state spaces, for example a robot with many redundant degrees of freedom. To demonstrate the effectiveness of the proposed algorithm simulations of obstacle avoidance by a 50 links manipulator have been carried out. It is shown that effective behavior can be learned by using the proposed algorithm. (shrink)

Reinforcement learning is very effective for robot learning. Because it does not need priori knowledge and has higher capability of reactive and adaptive behaviors. In our previous works, we proposed new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space Based on Genetic Algorithm (QDSEGA)”. It is designed for complicated systems with large action-state space like a robot with many redundant degrees of freedom. And we applied it to 50 link manipulator and effective behavior is acquired. However optimality and (...) fault tolerance of the proposed algorithm were not considered and to demonstrate effectiveness of the proposed algorithm other applications are necessary. Acquiring of locomotion patterns by a multi-legged robot is a very interesting problem. As it has many redundant degrees of freedom, application of usual reinforcement learning is difficult and an optimal locomotion has not been acquired using previous reinforcement learning algorithm. And the redundancy of the robot is effective to the fault tolerance and various locomotion patterns can be acquired for adapting the faults of the legs. In this paper, we applied QDSEGA to acquiring of locomotion pattern by the multi-legged robot and considered the optimality and fault tolerance. Effective behavior has been obtained by using our proposed algorithm. (shrink)

The scientific, ethical, and policy issues raised by research involving the engraftment of human neural stem cells into the brains of nonhuman primates are explored by an interdisciplinary working group in this Policy Forum. The authors consider the possibility that this research might alter the cognitive capacities of recipient great apes and monkeys, with potential significance for their moral status.

Recently, agent technologies have attracted a lot of interest as an emerging programming paradigm. With such agent technologies, services are provided through collaboration among agents. At the same time, the spread of mobile technologies and communication infrastructures has made it possible to access the network anytime and from anywhere. Using agents and mobile technologies to realize ubiquitous computing systems, we propose a new framework based on KODAMA and VPC. KODAMA provides distributed management mechanisms by using the concept of community and (...) communication infrastructure to deliver messages among agents without agents being aware of the physical network. VPC provides a method of defining peer-to-peer services based on agent communication with policy packages. By merging the characteristics of both KODAMA and VPC functions, we propose a new framework for ubiquitous computing environments. It provides distributed management functions according to the concept of agent communities, agent communications which are abstracted from the physical environment, and agent collaboration with policy packages. Using our new framework, we conducted a large-scale experiment in shopping malls in Nagoya, which sent advertisement e-mails to users' cellular phones according to user location and attributes. The empirical results showed that our new framework worked effectively for sales in shopping malls. (shrink)

In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...) reversal is provable even in ACA 0 . These results illuminate the substantial differences among lightface theorems which can not be observed in boldface. (shrink)

We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.

生殖医療・遺伝子改変等の広範な領域におけるキーコンセプトとしての「ヒト胚の道徳的地位」，種々の宣言等で使用されながら意味が曖昧な「人間の尊厳」を多角的に考察する。.

本書ではデータ解析にもとづく倫理学の理論の概要を述べるとともに，総計6,000名にのぼる高校生等への意識調査の結果を踏まえた，自己決定の時代の現状分析を行っている。現状分析の内容は，マスコミによるイメ ージ操作の検証，個人主義的自由主義の原理であるミルの原理の受容状況や問題点，いじめの分析，他者概念の検討，大人と子供の境界の曖昧化現象の考察等であるが，それらを貫く縦糸は「自己決定」，「自由」である。 また現代は，生命や環境，情報といった領域で，社会のレベルでも自己決定する必要に迫られている。本書の提唱するところの調査にもとづく倫理学の方法は，いわゆる「反省的均衡」の方法を実行可能にするものであり， 社会的自己決定を導く有力な方法である。.

熊本大学生命倫理論集第3巻のテーマは「生命の価値」そのものである。生命倫理が前提とする生命という価値についての根本的問いかけに、哲学、倫理学、法学、医学、脳科学、生物学等の様々な分野の専門家が本気で取 り組み、学問の境界を越えた議論を展開する。.

We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Within a weak subsystem of second‐order arithmetic WKL0, we develop basic part of non‐standard analysis up to the Peano existence theorem.

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].

By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA 0.

In the most recent Teaching and Learning International Survey (TALIS2018) conducted by the Organisation for Economic Cooperation and Development (OECD), the percentage of Japanese teachers who taught critical thinking (CT) and professed self-efficacy in CT teaching was by far the lowest among participating economies (OECD, 2019). This research explores the emic or indigenous understanding of CT in Japanese education through in-depth qualitative interviews with 12 schoolteachers of diverse backgrounds. Japanese schoolteachers find the nuance of CT undesirable. Yet, a particular facet (...) of CT, namely multidimensional-multiperspective thinking (MMT), is well-received since the national curriculum guidelines, which most participants find to be their teaching foundation, lay strong emphasis on MMT. Almost all participants agree that low socioeconomic-status (SES) schools have difficulty teaching CT/MMT. Furthermore, a hidden curriculum in Japanese schools, namely valuing empathy, also affects CT teaching. Being empathetic constitutes a core value in Japanese schooling, so participants find it impossible to practice CT without teaching empathy. The findings suggest that the curricular power, whether official or implicit, is forceful in Japan. Still, schoolteachers practise indigenous versions of CT teaching and manage to keep away from the power of the etic/global model of CT teaching. This paper concludes with practical implications for educators to reconcile the etic and emic understandings of CT teaching. (shrink)

Previous research suggested a role of gaze in preference formation, not merely as an expression of preference, but also as a causal influence. According to the gaze cascade hypothesis, the longer subjects look at an item, the more likely they are to develop a preference for it. However, to date the connection between viewing and liking has been investigated predominately with self-paced viewing conditions in which the subjects were required to select certain items from simultaneously presented stimuli on the basis (...) of perceived visual attractiveness. Such conditions might promote a default, but non-mandatory connection between viewing and liking. To explore whether the connection is separable, we examined the evaluative processing of single naturalistic food images in a 2 x 2 design, conducted completely within subjects, in which we varied both the type of exposure (self-paced versus time-controlled) and the type of evaluation (non-exclusive versus exclusive). In the self-paced exclusive evaluation, longer viewing was associated with a higher likelihood of a positive evaluation. However, in the self-paced non-exclusive evaluation, the trend reversed such that longer viewing durations were associated with lesser ratings. Furthermore, in the time-controlled tasks, both with non-exclusive and exclusive evaluation, there was no significant relationship between the viewing duration and the evaluation. The overall pattern of results was consistent for viewing times measured in terms of exposure duration (i.e., the duration of stimulus presentation on the screen) and in terms of actual gaze duration (i.e., the amount of time the subject effectively gazed at the stimulus on the screen). The data indicated that viewing does not intrinsically lead to a higher evaluation when evaluating single food images; instead, the relationship between viewing duration and evaluation depends on the type of task. We suggest that self-determination of exposure duration may be a prerequisite for any influence from viewing time on evaluative processing, regardless of whether the influence is facilitative. Moreover, the purported facilitative link between viewing and liking appears to be limited to exclusive evaluation, when only a restricted number of items can be included in a chosen set. (shrink)

We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.

We investigated whether the inferior parietal lobule (IPL) responds in real-time to multisensory inconsistency during movement. The IPL is thought to be involved in both the detection of inconsistencies in multisensory information obtained during movement and that obtained during self-other discrimination. However, because of the limited temporal resolution of conventional neuroimaging techniques, it is difficult to distinguish IPL activity during movement from that during self-other discrimination. We simultaneously conducted electroencephalography (EEG) and near-infrared spectroscopy (NIRS) with the goal of examining IPL (...) activity with a high spatiotemporal resolution during single reaching movements. Under a visual feedback-delay condition, gamma event-related synchronization (γ-ERS), i.e., an increase in gamma (31–47 Hz) EEG power, occurred during reaching movements. This γ-ERS is considered to reflect processing of information about prediction errors. To integrate this temporal information with spatial information from the NIRS signals, we developed a new analysis technique that enabled estimation of the regions that show a hemodynamic response characterized by EEG fluctuation present in the visual feedback-delay condition. As a result, IPL activity was explained by γ-ERS specific to visual feedback delay during movements. Thus, we succeeded in demonstrating real-time activation of the IPL in response to multisensory inconsistency. However, we did not find any correlation between either IPL activity or γ-ERS with the sense of agency. Therefore, our results suggest that while the IPL is influenced by prediction error signals, it does not engage in direct processing underlying the conscious experience of making a movement, which is the foundation of self-other discrimination. (shrink)